$codeFont: Consolas, monospace;
$uiFont: arial, sans-serif;

body {
  font-family: $uiFont;
  font-size: 13px;
  height: 100vh;
  width: 100vw;
  margin: 0;
  display: flex;
}

#root {
  margin: 0;
  flex-grow: 1;
  display: flex;
}

.app {
  flex-grow: 1;
  display: flex;
}

.main {
  flex-grow: 1;
  display: flex;
  flex-direction: column;
  border-right: solid #ddd 1px;

  .header {
    padding: 5px 5px 0 10px;
    border-bottom: solid #ccc 1px;
    flex-shrink: 0;
    display: flex;
    flex-wrap: wrap;
    background-color: #f0f0f0;

    > * {
      display: flex;
      align-items: center;
      white-space: nowrap;
      margin-bottom: 5px;
    }
    > *:last-child {
      flex-grow: 1;
    }
    > * > * {
      margin-right: 10px;
    }

    .simple-button {
      font-family: $codeFont;
    }

    .github-link {
      flex-grow: 1;
      text-align: right;
    }
  }

  .traced-component {
    padding: 5px;
    flex-grow: 1;
    display: flex;
    overflow-y: scroll;
  }
}

.controls {
  display: flex;
}

.labeled-checkbox {
  display: inline-flex;
  align-items: center;
  height: 17px;
}

.simple-button {
  display: inline-block;
  padding: 1px 3px 0 3px;
  font-size: 12px;
  border: solid #aaa 1px;
  border-radius: 4px;
  user-select: none;
  background-color: white;
}
.simple-button:not(:last-child) {
  margin-right: 5px;
}
.simple-button:hover {
  background-color: #ddd;
}

.tagged {
  font-family: $codeFont;
}

.indented {
  padding-left: 1.5em;
}
